Refining internal choice in PEPA models
نویسندگان
چکیده
In a previous paper [GHH96] the authors presented a program development technique for stochastic process algebra models which was centred on the translation from a model into an abstract program skeleton which presents the structural and behavioural information from the model in programming language notation. The intention of this work, which we continue here, is to support the methodical development of concurrent programs from stochastic process algebra specifications of their behaviour and performance.
منابع مشابه
Compositional Abstraction of PEPA Models for Transient Analysis
Stochastic process algebras such as PEPA allow complex stochastic models to be described in a compositional way, but this leads to state space explosion problems. To combat this, there has been a great deal of work in developing techniques for abstracting Markov chains. In particular, abstract — or interval — Markov chains allow us to aggregate states in such a way as to safely bound transient ...
متن کاملGraphical modelling of process algebras with DrawNET
High-level languages for performance modelling are often complex to use. Further, they are unfamiliar to the people who would most directly benefit from using them, namely practising software engineers and application developers. One approach to reducing the difficulty of using these languages is to equip them with a graphical syntax which is more intuitive than the more unfamiliar languages of...
متن کاملAn Efficient Kronecker Representation for PEPA Models
In this paper we present a representation of the Markov process underlying a PEPA model in terms of a Kronecker product of terms. Whilst this representation is similar to previous representations of Stochastic Automata Networks and Stochastic Petri Nets, it has novel features, arising from the definition of the PEPA models. In particular, capturing the correct timing behaviour of cooperating PE...
متن کاملProcess algebra for epidemiology: evaluating and enhancing the ability of PEPA to describe biological systems
Modelling is a powerful method for understanding complex systems, which works by simplifying them to their most essential components. The choice of the components is driven by the aspects studied. The tool chosen to perform this task will determine what can be modelled, the maximum number of components which can be represented, as well as the analyses which can be performed on the system. Perfo...
متن کاملA Feature Construct for PEPA
We show how the PEPA performance modelling language could be extended with a feature construct which can be used to describe modiications to PEPA models. We provide this construct with an operational description which conservatively extends the operational semantics of the PEPA language. We apply the feature construct in a small case study.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996